Hypercubical manifolds in homotopy type theory
arxiv.orgยท10h
๐Ÿ”ถCubical Type Theory
Preservica and Gravity Union Partner to Streamline Long-Term Data Archiving and Governance in Microsoft 365 for Canadian Organizations
preservica.comยท5h
๐Ÿ›๏ธPREMIS Metadata
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.comยท20mยท
Discuss: Hacker News
๐Ÿ“‹DFDL
The mathematical essence of origami blue-and-white porcelain
aperiodical.comยท2d
๐Ÿ“Mathematical Art
Introduction to the Fundamentals of Amazon Redshift
redshift-observatory.chยท5h
๐Ÿ—ƒ๏ธDatabase Storage
Kafka Fundamentals: kafka retention.ms
dev.toยท4hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท8h
๐Ÿ“Concrete Syntax
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท1d
๐ŸŒณArchive Merkle Trees
ML in the Home
blog.raymond.burkholder.netยท1d
๐Ÿ“ˆTime Series
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.comยท2dยท
Discuss: relatedwork.blogspot.com
๐Ÿ—๏ธConstructive Mathematics
Nedials, Nedians, and some related triangles and some properties
pballew.blogspot.comยท8hยท
Discuss: www.blogger.com
๐Ÿ“ŠComputational Geometry
Passagemath project marks new era for open-source math software
appliedmath.ucdavis.eduยท21hยท
Discuss: Hacker News
๐Ÿ“ŠAPL Heritage
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท31m
๐Ÿ“ŠGraph Databases
Google Cache Is Gone, I Like This Way Better: How to View Archived Websites
pcmag.comยท1hยท
Discuss: Hacker News
๐ŸŒWeb Archiving
How much slower is random access, really?
samestep.comยท1dยท
Discuss: Hacker News
๐Ÿ“ผTape Encoding
Why physicists think geometry is the path to a theory of everything
newscientist.comยท2d
๐Ÿ“Mathematical Art
Video Compression for Spatiotemporal Earth System Data
arxiv.orgยท10h
๐Ÿ“ŠRate-Distortion Theory
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.comยท18h
๐Ÿ”„Burrows-Wheeler
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.orgยท1dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Counting with Categories (Part 3)
golem.ph.utexas.eduยท22h
ฮปLambda Formalization